<html>
<head><meta charset="utf-8"><title>issue-46983 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html">issue-46983</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="127377055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127377055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127377055">(May 31 2018 at 18:44)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> in <a href="https://github.com/rust-lang/rust/issues/46983#issuecomment-392779256" target="_blank" title="https://github.com/rust-lang/rust/issues/46983#issuecomment-392779256">this comment</a>, you mention that the unit test case added was using <code>-Z verbose</code> - where is it you are seeing that, I can't seem to find that?</p>



<a name="127377092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127377092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127377092">(May 31 2018 at 18:45)</a>:</h4>
<p>hmm. I know I saw <code>-Z verbose</code> in a unit test, but maybe I was wrong to say it was the tst that had been filed in this issue</p>



<a name="127377181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127377181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127377181">(May 31 2018 at 18:46)</a>:</h4>
<p>let me go find what I was talking about</p>



<a name="127377855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127377855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127377855">(May 31 2018 at 18:58)</a>:</h4>
<p>sometimes I have added those into tests, not always for a reason that is still relevant</p>



<a name="127378002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378002">(May 31 2018 at 19:00)</a>:</h4>
<p>I've actually not checked the current state of the test - only what the PR added, let me take a look.</p>



<a name="127378154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378154">(May 31 2018 at 19:03)</a>:</h4>
<p>Okay well I was clearly wrong to say that that PR's unit test had <code>-Z verbose</code> on it. I must have been looking at one of the (many) other NLL tests that do have <code>-Z verbose</code></p>



<a name="127378163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378163">(May 31 2018 at 19:03)</a>:</h4>
<p>No, I found it - <a href="https://github.com/rust-lang/rust/blob/master/src/test/ui/nll/closure-requirements/region-lbr-anon-does-not-outlive-static.rs" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/test/ui/nll/closure-requirements/region-lbr-anon-does-not-outlive-static.rs">this one here</a>.</p>



<a name="127378210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378210">(May 31 2018 at 19:04)</a>:</h4>
<p>there's a bunch of other ones too though, no?</p>



<a name="127378221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378221">(May 31 2018 at 19:04)</a>:</h4>
<p>in both <code>ui/nll/closure-requirements</code> and in <code>ui/nll/ty-outlives/</code></p>



<a name="127378231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378231">(May 31 2018 at 19:05)</a>:</h4>
<p>I've only looked at those in the previous PR.</p>



<a name="127378239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378239">(May 31 2018 at 19:05)</a>:</h4>
<p>Of which it was only that test, I believe.</p>



<a name="127378301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378301">(May 31 2018 at 19:06)</a>:</h4>
<p>Ah I see.</p>



<a name="127378314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378314">(May 31 2018 at 19:06)</a>:</h4>
<p>okay <em>that</em> I could believe, that I was looking at the wrong unit test in the PR, and not even looking at the diff in the first place</p>



<a name="127378348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378348">(May 31 2018 at 19:07)</a>:</h4>
<blockquote>
<p>sometimes I have added those into tests, not always for a reason that is still relevant</p>
</blockquote>
<p>I can certainly understand adding <code>-Z verbose</code> to tests.</p>



<a name="127378361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378361">(May 31 2018 at 19:07)</a>:</h4>
<p>but I think we need a blanket policy that <code>ui/</code> tests should <em>not</em> have <code>-Z verbose</code></p>



<a name="127378419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127378419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127378419">(May 31 2018 at 19:08)</a>:</h4>
<p>(well, maybe that is too harsh. I don't know.)</p>



<a name="127381475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127381475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127381475">(May 31 2018 at 20:23)</a>:</h4>
<blockquote>
<p>but I think we need a blanket policy that <code>ui/</code> tests should <em>not</em> have <code>-Z verbose</code></p>
</blockquote>
<p>why?</p>



<a name="127382875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127382875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127382875">(May 31 2018 at 20:50)</a>:</h4>
<p>What message are we expecting in <a href="https://github.com/rust-lang/rust/blob/master/src/test/ui/underscore-lifetime/dyn-trait-underscore.nll.stderr" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/test/ui/underscore-lifetime/dyn-trait-underscore.nll.stderr">this test</a> - do we just want to have a region name? if so, what would that name be?</p>



<a name="127382897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127382897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127382897">(May 31 2018 at 20:50)</a>:</h4>
<p>Been looking through the code that does this error and I think I get it all, just unsure what the intended behavior is - other than not being a blank name.</p>



<a name="127383027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383027">(May 31 2018 at 20:53)</a>:</h4>
<p>hmm</p>



<a name="127383037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383037">(May 31 2018 at 20:54)</a>:</h4>
<p>this is one of those tricky cases</p>



<a name="127383084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383084">(May 31 2018 at 20:54)</a>:</h4>
<p>in that the regionck-based error is not something I'm thrilled with</p>



<a name="127383089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383089">(May 31 2018 at 20:54)</a>:</h4>
<p>that said, I think there's a case to be made for this being lower priority —</p>



<a name="127383093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383093">(May 31 2018 at 20:54)</a>:</h4>
<p>in particular, I imagine that when we ship initially, we'll have the regionck error enabled :)</p>



<a name="127383097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383097">(May 31 2018 at 20:54)</a>:</h4>
<p>that is, <a href="https://github.com/rust-lang/rust/blob/master/src/test/ui/underscore-lifetime/dyn-trait-underscore.stderr" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/test/ui/underscore-lifetime/dyn-trait-underscore.stderr">this error</a></p>



<a name="127383103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383103">(May 31 2018 at 20:54)</a>:</h4>
<p>maybe we should disable the code that is converting that into a warning</p>



<a name="127383121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383121">(May 31 2018 at 20:55)</a>:</h4>
<p>I see, that is better.</p>



<a name="127383129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383129">(May 31 2018 at 20:55)</a>:</h4>
<p>it's certainly better than the NLL one</p>



<a name="127383193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383193">(May 31 2018 at 20:56)</a>:</h4>
<p>Out of curiousity, why was that code disabled - so we can see the errors from NLL? Why would we want to do that when in practice it'd be enabled and we wouldn't see the NLL errors anyway?</p>



<a name="127383198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383198">(May 31 2018 at 20:56)</a>:</h4>
<p>it was disabled because NLL sometimes accepts things that regionck would reject</p>



<a name="127383203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383203">(May 31 2018 at 20:56)</a>:</h4>
<p>in other words, NLL does both regionck + borrowck</p>



<a name="127383205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383205">(May 31 2018 at 20:56)</a>:</h4>
<p><em>however</em> the less-precise NLL we do now</p>



<a name="127383219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383219">(May 31 2018 at 20:57)</a>:</h4>
<p>probably doens't have as many cases where regionck gives an error</p>



<a name="127383222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383222">(May 31 2018 at 20:57)</a>:</h4>
<p>and yet NLL would accept it</p>



<a name="127383225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383225">(May 31 2018 at 20:57)</a>:</h4>
<p>I imagine they still exist though</p>



<a name="127383227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383227">(May 31 2018 at 20:57)</a>:</h4>
<p>I see.</p>



<a name="127383229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383229">(May 31 2018 at 20:57)</a>:</h4>
<p>but still, when we ship, if we are going to run the AST-based checker</p>



<a name="127383230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383230">(May 31 2018 at 20:57)</a>:</h4>
<p>we have to run regionck</p>



<a name="127383235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383235">(May 31 2018 at 20:57)</a>:</h4>
<p>I guess it's still plausible we could silence its errors though</p>



<a name="127383237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383237">(May 31 2018 at 20:57)</a>:</h4>
<p>I'd be interested to know if there are run-pass cases that emit that warning</p>



<a name="127383238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383238">(May 31 2018 at 20:57)</a>:</h4>
<p>but still pass</p>



<a name="127383244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383244">(May 31 2018 at 20:57)</a>:</h4>
<p>that we care about :)</p>



<a name="127383287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383287">(May 31 2018 at 20:58)</a>:</h4>
<p>on the other hand, we probably <em>can</em> dump a similar sort of trace</p>



<a name="127383293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383293">(May 31 2018 at 20:58)</a>:</h4>
<p>this is one of the things that <span class="user-mention" data-user-id="116083">@pnkfelix</span> and I were discussing</p>



<a name="127383296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383296">(May 31 2018 at 20:58)</a>:</h4>
<p>in that I would prefer to take a stab at doing better than the AST-based error here</p>



<a name="127383299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383299">(May 31 2018 at 20:58)</a>:</h4>
<p>but I don't have a <em>concrete</em> idea — we'd have to dig in a bit</p>



<a name="127383300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383300">(May 31 2018 at 20:58)</a>:</h4>
<p>but that may be worth it</p>



<a name="127383303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383303">(May 31 2018 at 20:58)</a>:</h4>
<p>Yeah, could be interesting.</p>



<a name="127383324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383324">(May 31 2018 at 20:59)</a>:</h4>
<p>I mean doing better than those errors has been a long-standing goal</p>



<a name="127383329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383329">(May 31 2018 at 20:59)</a>:</h4>
<p>let me think...</p>



<a name="127383332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383332">(May 31 2018 at 20:59)</a>:</h4>
<p>do you happen to have the graphviz of the region constraints handy?</p>



<a name="127383333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383333">(May 31 2018 at 21:00)</a>:</h4>
<p>I do not.</p>



<a name="127383391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383391">(May 31 2018 at 21:00)</a>:</h4>
<p>if you run with <code>-Zdump-mir=nll</code> it will get produced</p>



<a name="127383392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383392">(May 31 2018 at 21:00)</a>:</h4>
<p>but I could do it</p>



<a name="127383480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383480">(May 31 2018 at 21:02)</a>:</h4>
<p><a href="/user_uploads/4715/o9o4QlbiFRDFR42GQEqzvtSM/rustc.main.-.nll.0.regioncx.dot" target="_blank" title="rustc.main.-.nll.0.regioncx.dot">rustc.main.-.nll.0.regioncx.dot</a></p>



<a name="127383481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383481">(May 31 2018 at 21:02)</a>:</h4>
<p><a href="/user_uploads/4715/Z92zCoVlOpXc3Hs7NdYABSDe/rustc.impl-drop.-.nll.0.regioncx.dot" target="_blank" title="rustc.impl-drop.-.nll.0.regioncx.dot">rustc.impl-drop.-.nll.0.regioncx.dot</a></p>



<a name="127383484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383484">(May 31 2018 at 21:02)</a>:</h4>
<p><a href="/user_uploads/4715/dqsLDlhsIVlSylu4x92Z-QiS/rustc.use_x.-.nll.0.regioncx.dot" target="_blank" title="rustc.use_x.-.nll.0.regioncx.dot">rustc.use_x.-.nll.0.regioncx.dot</a></p>



<a name="127383593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383593">(May 31 2018 at 21:05)</a>:</h4>
<p>one sec</p>



<a name="127383636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383636">(May 31 2018 at 21:06)</a>:</h4>
<p>wait, <span class="user-mention" data-user-id="116107">@David Wood</span>, which test are we talking about again?</p>



<a name="127383645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383645">(May 31 2018 at 21:06)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/master/src/test/ui/underscore-lifetime/dyn-trait-underscore.nll.stderr" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/test/ui/underscore-lifetime/dyn-trait-underscore.nll.stderr">https://github.com/rust-lang/rust/blob/master/src/test/ui/underscore-lifetime/dyn-trait-underscore.nll.stderr</a></p>



<a name="127383657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383657">(May 31 2018 at 21:07)</a>:</h4>
<p>Unless that <code>mir_dump</code> folder had some leftovers from a previous build in it.</p>



<a name="127383674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383674">(May 31 2018 at 21:07)</a>:</h4>
<p>bah I can't figure out how to branch out a new topic</p>



<a name="127383677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383677">(May 31 2018 at 21:07)</a>:</h4>
<p>I was confused by the title of this thread :)</p>



<a name="127383715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383715">(May 31 2018 at 21:08)</a>:</h4>
<p>pnkfelix had some way to branch out all preivous messages</p>



<a name="127383718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383718">(May 31 2018 at 21:08)</a>:</h4>
<p>but I don't know how <span class="user-mention" data-user-id="116083">@pnkfelix</span> did that</p>



<a name="127383720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383720">(May 31 2018 at 21:08)</a>:</h4>
<p><a href="/user_uploads/4715/ZnsclaQf3YpSGmTACX_tu7Ft/rustc.a.-.nll.0.regioncx.dot" target="_blank" title="rustc.a.-.nll.0.regioncx.dot">rustc.a.-.nll.0.regioncx.dot</a> <br>
<a href="/user_uploads/4715/6QNX84CJO7tGTCsfzha1MBmb/rustc.b.-.nll.0.regioncx.dot" target="_blank" title="rustc.b.-.nll.0.regioncx.dot">rustc.b.-.nll.0.regioncx.dot</a> <br>
<a href="/user_uploads/4715/BA4Yn-XT_VQmnxvMtmZFr9Tq/rustc.c.-.nll.0.regioncx.dot" target="_blank" title="rustc.c.-.nll.0.regioncx.dot">rustc.c.-.nll.0.regioncx.dot</a> <br>
<a href="/user_uploads/4715/6oLBmtuaeNKZEpvEWBhi2yPG/rustc.main.-.nll.0.regioncx.dot" target="_blank" title="rustc.main.-.nll.0.regioncx.dot">rustc.main.-.nll.0.regioncx.dot</a></p>



<a name="127383721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383721">(May 31 2018 at 21:08)</a>:</h4>
<p>That's the proper ones.</p>



<a name="127383723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383723">(May 31 2018 at 21:08)</a>:</h4>
<p>Not sure what happened there.</p>



<a name="127383748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383748">(May 31 2018 at 21:09)</a>:</h4>
<blockquote>
<blockquote>
<p>but I think we need a blanket policy that <code>ui/</code> tests should <em>not</em> have <code>-Z verbose</code></p>
</blockquote>
<p>why?</p>
</blockquote>
<p>because <code>ui/</code> tests are (or should be?) centered around end-user visible behavior, while <code>-Z verbose</code> deliberately distorts the print-outs in a manner that leaks into our UI.</p>



<a name="127383775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383775">(May 31 2018 at 21:10)</a>:</h4>
<p>I don't agree with that assessment about <code>ui</code> tests I guess :)</p>



<a name="127383817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383817">(May 31 2018 at 21:10)</a>:</h4>
<p>I think they are just "tests"</p>



<a name="127383823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383823">(May 31 2018 at 21:10)</a>:</h4>
<p>and all other tests (run-pass, compile-fail, etc) should go away</p>



<a name="127383841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383841">(May 31 2018 at 21:10)</a>:</h4>
<p>some of them highlight end-user visibile behavior, but others are using <code>#[rustc_foo]</code> attributes to dump internal state...</p>



<a name="127383848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383848">(May 31 2018 at 21:10)</a>:</h4>
<p>that said, maybe it's a useful distinction to make</p>



<a name="127383858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383858">(May 31 2018 at 21:11)</a>:</h4>
<p>not sure if I'd do it via the <em>directory</em> vs an attribute or something in the test...</p>



<a name="127383862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383862">(May 31 2018 at 21:11)</a>:</h4>
<p>(also, fwiw, I collected most of the tests that <em>need</em> to use <code>-Zverbose</code> into a directory)</p>



<a name="127383943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-46983/near/127383943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-46983.html#127383943">(May 31 2018 at 21:13)</a>:</h4>
<p>(in particular the <code>ui/nll/closure-requirements/ </code> directory)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>